Weak n-categories: comparing opetopic foundations
نویسنده
چکیده
We define the category of tidy symmetric multicategories. We construct for each tidy symmetric multicategory Q a cartesian monad (EQ, TQ) and extend this assignation to a functor. We exhibit a relationship between the slice construction on symmetric multicategories, and the ‘free operad’ monad construction on suitable monads. We use this to give an explicit description of the relationship between BaezDolan and Leinster opetopes.
منابع مشابه
Comparing definitions of weak higher categories
The theory of operads, defined through categories of labeled graphs, is generalized to suit definitions of higher categories with arbitrary basic shapes. Constructions of cubical, globular and opetopic weak higher categories are obtained as examples.
متن کاملAn alternative characterisation of universal cells in opetopic n-categories
We address the fact that composition in an opetopic weak n-category is in general not unique and hence is not a well-defined operation. We define composition with a given k-cell in an n-category by a span of (n− k)-categories. We characterise such a cell as universal if its composition span gives an equivalence of (n− k)-categories.
متن کاملWeak n-categories: opetopic and multitopic foundations
We generalise the concepts introduced by Baez and Dolan to define opetopes constructed from symmetric operads with a category, rather than a set, of objects. We describe the category of 1-level generalised multicategories, a special case of the concept introduced by Hermida, Makkai and Power, and exhibit a full embedding of this category in the category of symmetric operads with a category of o...
متن کاملar X iv : q - a lg / 9 70 20 14 v 1 1 0 Fe b 19 97 Higher - Dimensional Algebra III : n - Categories and the Algebra of Opetopes
We give a definition of weak n-categories based on the theory of operads. We work with operads having an arbitrary set S of types, or ‘S-operads’, and given such an operad O, we denote its set of operations by elt(O). Then for any S-operad O there is an elt(O)-operad O+ whose algebras are S-operads over O. Letting I be the initial operad with a one-element set of types, and defining I0+ = I, I(...
متن کاملOn Comparing Definitions of "weak N–category"
1. My approach is "foundational". On the one hand, I am motivated by the problem of the foundations of mathematics (an unsolved problem as far as I am concerned). On the other hand-and this is more relevant here-, I start "from scratch", and thus what I say can be understood with little technical knowledge. I only assume a modest amount of category theory as background. I will talk informally a...
متن کامل